Assigning machines to incomparable maintenance strategies with ELECTRE-SORT
نویسندگان
چکیده
منابع مشابه
Lyrebird - Assigning Meanings to Machines
This paper presents work in progress on the Lyrebird framework, consisting of a language for specifying the programmervisible behaviour of a processor and its associated devices, a tool for automatically producing a fast simulator, and a formal semantic interpretation providing a machine model for use in an interactive theorem prover. Machine specifications are modular, providing abstract inter...
متن کاملUsing ELECTRE TRI outranking method to sort MOMILP nondominated solutions
Several interactive methods exist to identify nondominated solutions in a Multiple Objective Mixed Integer Linear Program. But what if the Decision Maker is also interested in sorting those solutions (assigning them to pre-established ordinal categories)? We propose an interactive ‘‘branch-and-bound like’’ technique to progressively build the nondominated set, combined with ELECTRE TRI method (...
متن کاملDo hypercubes sort faster than tree machines?
SUMMARY We develop a balanced, parallel quicksort algorithm for a hypercube and compare it with a similar algorithm for a binary tree machine. The performance of the hypercube algorithm is measured on a Computing Surface.
متن کاملDistributed Synthesis with Incomparable Information
Given (1) an architecture defined by processes and communication channels between them or with the environment, and (2) a specification on the messages transmitted over the channels, distributed synthesis aims at deciding existence of local programs, one for each process, that together meet the specification, whatever the environment does. Recent work shows that this problem can be solved when ...
متن کاملHow to Compare the Incomparable
A technique for deciding between two processes, one with cost (xA ,yA) and the second with cost (xB ,yB) where xA>xB and yA<yB and no further information is available, is derived, using dimensionand gauge-theory like arguments. The technique can be summarized as: If you can’t add them, multiply them.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Omega
سال: 2014
ISSN: 0305-0483
DOI: 10.1016/j.omega.2014.03.006